منابع مشابه
On decomposability in logical calculi
In the paper, a natural class of logical calculi is fixed for which we formulate the notion of a ∆–decomposable set of formulas. We demonstrate that the property of uniqueness of signature decompositions holds in those calculi of this class that have the Craig interpolation property. In conclusion, we give a sufficient condition for the ∆–decomposability property to be decidable.
متن کاملNormalization Properties of Symmetric Logical Calculi
Acknowledgements I express my gratitude to René David and Karim Nour for their precious help, valuable comments and guidance through my work. I also thank to Pál Dömösi for his support and that he made me possible to concentrate my attention on this thesis. Last but not least I am grateful to my parents for they have stood by me during my studies with perseverance and patience.
متن کاملweak-topology on certain group algebras
We investigate possible preduals of the measure algebra M(G) of a locally compact group and the Fourier algebra A(G) of a separable compact group. Both of these algebras are canonically dual spaces and the canonical preduals make the multiplication separately weak∗-continuous so that these algebras are dual Banach algebras. In this paper we find additional conditions under which the preduals C0...
متن کاملMixing operators on spaces with weak topology
We prove that a continuous linear operator T on a topological vector space X with weak topology is mixing if and only if the dual operator T ′ has no finite dimensional invariant subspaces. This result implies the characterization of hypercyclic operators on the space ω due to Herzog and Lemmert and implies the result of Bayart and Matheron, who proved that for any hypercyclic operator T on ω, ...
متن کاملThe weak topology of locally convex spaces and the weak-* topology of their duals
These notes give a summary of results that everyone who does work in functional analysis should know about the weak topology on locally convex topological vector spaces and the weak-* topology on their dual spaces. The most striking of the results we prove is Theorem 9, which shows that a subset of a locally convex space is bounded if and only if it is weakly bounded. It is straightforward to p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1977
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888016